Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
351	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-06-15 11:37:40 Model theory Automated theorem proving Resolution First-order logic IP Interpretation
352	NSP3 Action, Belief and Inquiry Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2015-12-27 17:19:24 Charles Sanders Peirce Semiotics Philosophy of language Philosophical logic Philosophy of science Sign Inquiry Abductive reasoning Interpretant Topic and comment Category of being Meaning
353	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency
354	EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY EUSFLAT Minutes of the EUSFLAT General Assembly 2013 Milano, September 12, 2013 The assembly starts at 16:00, twenty minutes later than as scheduled in order to allow Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2013-11-19 05:55:02 Fuzzy logic European Society for Fuzzy Logic and Technology Artificial intelligence Logic in computer science Rudolf Kruse
355	Simulation Validation for Societal Systems Alex Yahja September 2006 CMU-ISRISchool of Computer Science Add to Reading List Source URL: www.casos.cs.cmu.edu Language: English - Date: 2008-11-17 12:47:36 Simulation Information science Knowledge engineering Semantic Web Technical communication Agent-based model Scientific modelling Ontology Logic simulation Cyc Reasoning system Conceptual model
356	JAMES PEARSON Department of Philosophy Bridgewater State University 131 Summer Street Bridgewater, MA2851 Add to Reading List Source URL: jamesjpearson.files.wordpress.com Language: English - Date: 2016-02-11 08:01:35 American philosophers Analytic philosophers Philosophers of science Philosophy of logic Logicians Philosophy Analytic philosophy Contemporary philosophy Rudolf Carnap Terrell Ward Bynum Danielle Macbeth
357	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
358	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
359	Convergence of Hypervolume-Based Archiving Algorithms I: Effectiveness Karl Bringmann Tobias Friedrich Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:23 Theoretical computer science Algorithm Mathematical logic NC Spectral theory
360	The First European Pragmatism Conference, Rome, 19-21 September 2012 Annette Pitschmann, Goethe-University Frankfurt/Germany Between Habit and Imagination: Religious Faith in the Perspectiv Add to Reading List Source URL: www.nordprag.org Language: English - Date: 2014-04-05 09:38:07 Philosophy of science Philosophical logic Epistemology Thought American philosophers John Dewey Pragmatism Art as Experience Truth Inquiry Social actions Morality

UPDATE